Advancing with XQuery: Develop application idioms Work with extension functions, unit tests and assertions, recursion and sorting, and higher-order functions Skill Level: Intermediate James R. Fuller (jim.fuller@webcompo

Source URL: www.webcomposite.com

Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy

Source URL: jeapostrophe.github.io

• Lambda calculus
• Combinatory logic
• Logic in computer science
• Computability theory
• Functions and mappings
• Formal methods
• Monad
• Derivative
• Trace

Radar Cross-Section Calculation of Aircraft Application of higher order basis functions (HOBFs) on a quad mesh is the foundation of WIPL-D Pro EM solver efficiency. As a result, very large structures are simulated on ine

Source URL: www.wipl-d.jp

BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types?

Source URL: www.brics.dk

• Higher-order functions
• Functional programming
• Lambda calculus
• Type theory
• Map
• Haskell
• AS3
• Type system
• Generic programming
• Computing
• Software engineering
• Declarative programming

Proc. of the 12th Int. Conference on Digital Audio Effects (DAFx-09), Como, Italy, September 1-4, 2009 FLUENTLY REMIXING MUSICAL OBJECTS WITH HIGHER-ORDER FUNCTIONS Adam T. Lindsay, David Hutchison Computing Department,

Source URL: dafx09.como.polimi.it

• Scripting languages
• Application programming interfaces
• Technical communication
• International Conference on Digital Audio Effects
• Lua
• JavaScript
• SuperCollider
• Software
• Computing
• Cross-platform software

Semantic Bidirectionalization Revisited Meng Wang Shayan Najd Computer Science and Engineering

Source URL: kar.kent.ac.uk

• Functional programming
• Type theory
• Data types
• Higher-order functions
• Generic programming
• Type class
• Bidirectionalization
• Function
• ALGOL 68
• Software engineering
• Computing
• Computer programming

LOCAL INTEGRATION BY PARTS AND POHOZAEV IDENTITIES FOR HIGHER ORDER FRACTIONAL LAPLACIANS XAVIER ROS-OTON AND JOAQUIM SERRA Abstract. We establish an integration by parts formula in bounded domains for the higher order f

Source URL: www.ma.utexas.edu

• Fourier analysis
• Harmonic functions
• Partial differential equations
• Constructible universe
• Laplace operator
• Sheaf
• Congruence lattice problem
• Sobolev space
• Mathematical analysis
• Calculus
• Mathematics

Higher-Order Processes, Functions, and Sessions: A Monadic Integration Bernardo Toninho1,2 , Luis Caires2 , and Frank Pfenning1 1 2

Source URL: www.cs.cmu.edu

Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov

Source URL: okmij.org

• Functional programming
• Data types
• Type theory
• Higher-order functions
• Adjoint functors
• Monad
• Pattern matching
• Type system
• List
• Software engineering
• Declarative programming
• Computing

Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France

Source URL: assert-false.net

• Recursion
• Higher-order functions
• Functional languages
• Mathematical logic
• Computability theory
• Binary tree
• Map
• Tree
• Binary search tree
• Computer programming
• Computing
• Software engineering